121. Graphs and discovery: DIMACS working group, computer-generated conjectures from graph theoretic and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University: DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Graph theory-- Data processing,Congresses ، Computer science-- Mathematics
رده :
QA
166
.
G7354
2005
122. Graphs and discovery : DIMACS working group, computer-generated conjectures from graph theoretical and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University : DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University
پدیدآورنده : Siemion Fajtlowicz... ]et al.[, editors
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Graph theory,Congresses ، Computer science -- Mathematics
رده :
QA
166
.
D544
2001
123. Groups and computation
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors,Series
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Group theory -- Data processing -- Congresses,Algebra -- Data processing -- Congresses
رده :
QA
.
D36
,
G76
174
.
7
1993
124. Groups and computation: Workshop on Groups and computation october 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Group theory - Data processing - Congresses,، Algebra - Data processing congresses
رده :
QA
174
.
7
.
D36
G7
125. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Group theory,Data processing --Congresses ، Algebra
رده :
QA
174
.
7
.
D36D55
1991
126. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Data processing -- Congresses ، Group theory,Data processing -- Congresses ، Algebra
رده :
QA
174
.
7
.
D36
G76
1993
127. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: (طهران)
موضوع : Group theory - Data processing - Congresses , Algebra - Data processing - Congresses
رده :
QA
174
.
7
.
D36
G76
1991
128. High Performance Computing in the Geosciences
پدیدآورنده : edited by François-Xavier Dimet.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Earth sciences -- Data processing -- Congresses.,Earth sciences -- Data processing.,Earth sciences -- Mathematics -- Congresses.
129. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
130. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
131. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده : Brian M. Fagan.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
132. Includes bibliographical references (p. 225-231) and index. 0
پدیدآورنده : Andrew Green.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
133. Includes bibliographical references (p. [264]-283) and index. 10,Westport, Conn. :
پدیدآورنده : Derek Mackay. ,Anthony Cordesman.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
134. Informatics in schools :
پدیدآورنده : Ivan Kalaš, Roland T. Mittermeir (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-assisted instruction, Congresses,Education-- Data processing, Congresses,Education-- Information technology, Congresses,Computer Science,Computers and Education,Computers and Society,Learning & Instruction,Mathematics Education,Personal Computing,Science Education
رده :
QA76
.
27
.
I563
2011eb
135. Information systems and computing technology :
پدیدآورنده : editors, Lei Zhang, Yonggen Gu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA75
.
5
.
I533
2013eb
136. Information systems and technologies to support learning :
پدیدآورنده : Álvaro Rocha, Mohammed Serrhini, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Education-- Effect of technological innovations on.,Educational innovations, Congresses.,Educational technology, Congresses.,Internet in education.,Artificial intelligence.,EDUCATION-- Administration-- General.,Education-- Effect of technological innovations on.,EDUCATION-- Organizations & Institutions.,Educational innovations.,Educational technology.,Internet in education.
رده :
LB1028
.
3
137. Information technology and applied mathematics :
پدیدآورنده : Peeyush Chandra [and others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Cryptography.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Cryptography.
رده :
QA76
.
9
.
M35
138. Inherently parallel algorithms in feasibility and optimization and their applications /
پدیدآورنده : edited by Dan Butnariu, Yair Censor, Simeon Reich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical optimization, Congresses.,Parallel algorithms, Congresses.,Mathematical optimization.,MATHEMATICS-- Optimization.,Parallel algorithms.
رده :
QA402
.
5
.
R47
2000eb
139. Innovations in smart cities and applications :
پدیدآورنده : Mohamed Ben Ahmed, Anouar Abdelhakim Boudhir, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cities and towns-- Technological innovations, Congresses.,City planning-- Technological innovations, Congresses.,Smart cities, Congresses.,Artificial intelligence.,City planning-- Technological innovations.,POLITICAL SCIENCE-- Public Policy-- City Planning & Urban Development.,Smart cities.
رده :
TD159
.
4
.
M44
2nd
2018eb
140. Integral Methods in Science and Engineering :
پدیدآورنده : Christian Constanda, Paul Harris, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Integral equations-- Numerical solutions, Congresses.,Mathematical analysis, Congresses.,Science-- Mathematics, Congresses.,Engineering mathematics.,Integral equations-- Numerical solutions.,Mathematical analysis.,Science-- Mathematics.
رده :
QA431
.
I584
2018
